The S-Replete Constuction
نویسندگان
چکیده
However, the replete construction is of a very general nature and most of its properties are independent of the axioms for Σ and of E being a topos. We consider the replete construction in the more general setting of a cartesian closed B-fibration p: C → B, where B is a category with finite products. This encompasses the case of a cartesian closed category (i.e. p: C → 1) and that of a locally cartesian closed category (quasi-topos or topos) fibred over itself (i.e. p = cod:B → B). The first case is of interest in the context of Classical Domain Theory, while the second one is typical of SDT . There are important conceptual advantages of working in a fibred setting:
منابع مشابه
Constuction of solitary solutions for nonlinear differential-difference equations via Adomain decomposition method
Here, Adomian decomposition method has been used for finding approximateand numerical solutions of nonlinear differential difference equations arising inmathematical physics. Two models of special interest in physics, namely, theHybrid nonlinear differential difference equation and Relativistic Toda couplednonlinear differential-difference equation are chosen to illustrate the validity andthe g...
متن کاملImproved Heuristic Search for Sparse Motion Planning Data Structures
Sampling-based methods provide efficient, flexible solutions for motion planning, even for complex, highdimensional systems. Asymptotically optimal planners ensure convergence to the optimal solution, but produce dense structures. This work shows how to extend sparse methods achieving asymptotic near-optimality using multiple-goal heuristic search during graph constuction. The resulting method ...
متن کاملA 19-Channel d.c. SQUID Magnetometer System for Brain Research
A lPchanne1 d.c. SQUID magnetometer system for neuromagnetic investigations is under constuction. The first-order gradiometers for sensing the signal are placed in a hexagonal configuration. D.c. SQUIDS based on niobium/aluminium technology have been developed, leading to a field sensitivity of about 5 fT/JHz. SQUID read-out is realized with a resonant transformer circuit at 100 kI-Iz. The mult...
متن کاملElemental composition of marine Prochlorococcus and Synechococcus: Implications for the ecological stoichiometry of the sea
The elemental composition of marine cyanobacteria is an important determinant of the ecological stoichiometry in low-latitude marine biomes. We analyzed the cellular carbon (C), nitrogen (N), and phosphorus (P) contents of Prochlorococcus (MED4) and Synechococcus (WH8103 and WH8012) under nutrient-replete and P-starved conditions. Under nutrient-replete conditions, C, N, and P quotas (femtogram...
متن کاملDissociation of augmented physiological, hormonal and cognitive responses to hypoglycaemia with sustained caffeine use.
In patients with Type I diabetes and healthy volunteers, ingestion of modest amounts of caffeine augments the usual symptomatic and counter-regulatory responses to hypoglycaemia. The aim of the present study was to determine whether these are lost with sustained caffeine use, i.e. does tolerance develop? Eleven healthy caffeine consumers underwent two identical hyperinsulinaemic glucose clamp p...
متن کامل